|
|
Application for Remote DEVS Modelling and Simulation
Kolařík, Jan ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This thesis describes the design and implementation of an client-server application. This application is used to remote access to models of systems, which are saved on the server. Application also provides editation of the models and their simulation. In the thesis there is a design of Communication Protocol between the client and server too. For the implementation of the client and prototype of the server was used Qt library. Server is realized as a part of existing simulation core (SmallDEVS), which is implemented by Smalltalk.
|
|
|
Petri Net Interpreter for Control Systems with Atmel Processor
Minář, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
Thesis focuses on interpretation of nested petri nets described in PNML language on Atmel processors. It introduces this limited - from memory capacity and perfomance point of views - targeted architecture, since it greatly affected both design and implementation. The interpreter is thouroughly described from all aspects of its design. One of most important concerns in the whole process was the ability to test and verify achieved state of functionality quickly and possibly without Atmel processor. That’s why the implentation took place on a squeak platform, that allowed to translate whole interpreter for targeted platform. Motivation behind this and overall process of translation is also a subject of this work.
|
|
|
Application for Remote DEVS Modelling and Simulation
Kolařík, Jan ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This thesis describes the design and implementation of an client-server application. This application is used to remote access to models of systems, which are saved on the server. Application also provides editation of the models and their simulation. In the thesis there is a design of Communication Protocol between the client and server too. For the implementation of the client and prototype of the server was used Qt library. Server is realized as a part of existing simulation core (SmallDEVS), which is implemented by Smalltalk.
|
|
|
Petri Net Interpreter for Control Systems with Atmel Processor
Minář, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
Thesis focuses on interpretation of nested petri nets described in PNML language on Atmel processors. It introduces this limited - from memory capacity and perfomance point of views - targeted architecture, since it greatly affected both design and implementation. The interpreter is thouroughly described from all aspects of its design. One of most important concerns in the whole process was the ability to test and verify achieved state of functionality quickly and possibly without Atmel processor. That’s why the implentation took place on a squeak platform, that allowed to translate whole interpreter for targeted platform. Motivation behind this and overall process of translation is also a subject of this work.
|
guest ::
